13 results
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 288-289
- Print publication:
- June 2016
-
- Article
- Export citation
UNFOLDING FINITIST ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 11 August 2010, pp. 665-689
- Print publication:
- December 2010
-
- Article
- Export citation
Uniformity and Quality of Monocrystalline Silicon Passivation by Thin Intrinsic Amorphous Silicon in a New Generation Plasma-enhanced Chemical Vapor Deposition Reactor
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 1245 / 2010
- Published online by Cambridge University Press:
- 01 February 2011, 1245-A01-04
- Print publication:
- 2010
-
- Article
- Export citation
Sergei Tupailo. Realization of analysis into explicit mathematics. The Journal of Symbolic Logic, vol. 66 (2001), pp. 1848–1864.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 42-43
- Print publication:
- March 2003
-
- Article
- Export citation
Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 435-436
- Print publication:
- September 2002
-
- Article
- Export citation
The proof-theoretic analysis of the Suslin operator in applicative theories
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 270-292
-
- Chapter
- Export citation
Wellordering proofs for metapredicative Mahlo
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-278
- Print publication:
- March 2002
-
- Article
- Export citation
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 935-958
- Print publication:
- June 2001
-
- Article
- Export citation
Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 449-464
-
- Chapter
- Export citation
The proof-theoretic analysis of transfinitely iterated fixed point theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-67
- Print publication:
- March 1999
-
- Article
- Export citation
Andrea Cantini. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- March 1998
-
- Article
- Export citation
Polynomial time operations in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-594
- Print publication:
- June 1997
-
- Article
- Export citation
Some theories with positive induction of ordinal strength φω0
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 818-842
- Print publication:
- September 1996
-
- Article
- Export citation